Domanov Oleg A. «Formalization of Contexts in Type Theory with Records and Modules» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2019. №52 C.23-38
Domanov Oleg A. «Understanding as computation» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2022. №67 C.287-291
